sends(${\it dE}$;${\it dL}$;${\it pred?}$;${\it info}$;${\it val}$;$p$;$e$;$l$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$r$.rmsg(${\it info}$;${\it val}$;$r$);receives(${\it dE}$;${\it dL}$;${\it pred?}$;${\it info}$;$p$;$e$;$l$))